3.4.35 \(\int (a x^m+b x^{1+13 m})^{12} \, dx\) [335]

Optimal. Leaf size=27 \[ \frac {\left (a+b x^{1+12 m}\right )^{13}}{13 b (1+12 m)} \]

[Out]

1/13*(a+b*x^(1+12*m))^13/b/(1+12*m)

________________________________________________________________________________________

Rubi [A]
time = 0.01, antiderivative size = 27, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.118, Rules used = {1607, 267} \begin {gather*} \frac {\left (a+b x^{12 m+1}\right )^{13}}{13 b (12 m+1)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a*x^m + b*x^(1 + 13*m))^12,x]

[Out]

(a + b*x^(1 + 12*m))^13/(13*b*(1 + 12*m))

Rule 267

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[(a + b*x^n)^(p + 1)/(b*n*(p + 1)), x] /; FreeQ
[{a, b, m, n, p}, x] && EqQ[m, n - 1] && NeQ[p, -1]

Rule 1607

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^(q - p))^n, x] /; F
reeQ[{a, b, p, q}, x] && IntegerQ[n] && PosQ[q - p]

Rubi steps

\begin {align*} \int \left (a x^m+b x^{1+13 m}\right )^{12} \, dx &=\int x^{12 m} \left (a+b x^{1+12 m}\right )^{12} \, dx\\ &=\frac {\left (a+b x^{1+12 m}\right )^{13}}{13 b (1+12 m)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(193\) vs. \(2(27)=54\).
time = 0.04, size = 193, normalized size = 7.15 \begin {gather*} \frac {x^{1+12 m} \left (13 a^{12}+78 a^{11} b x^{1+12 m}+286 a^{10} b^2 x^{2+24 m}+715 a^9 b^3 x^{3+36 m}+1287 a^8 b^4 x^{4+48 m}+1716 a^7 b^5 x^{5+60 m}+1716 a^6 b^6 x^{6+72 m}+1287 a^5 b^7 x^{7+84 m}+715 a^4 b^8 x^{8+96 m}+286 a^3 b^9 x^{9+108 m}+78 a^2 b^{10} x^{10+120 m}+13 a b^{11} x^{11+132 m}+b^{12} x^{12+144 m}\right )}{13+156 m} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a*x^m + b*x^(1 + 13*m))^12,x]

[Out]

(x^(1 + 12*m)*(13*a^12 + 78*a^11*b*x^(1 + 12*m) + 286*a^10*b^2*x^(2 + 24*m) + 715*a^9*b^3*x^(3 + 36*m) + 1287*
a^8*b^4*x^(4 + 48*m) + 1716*a^7*b^5*x^(5 + 60*m) + 1716*a^6*b^6*x^(6 + 72*m) + 1287*a^5*b^7*x^(7 + 84*m) + 715
*a^4*b^8*x^(8 + 96*m) + 286*a^3*b^9*x^(9 + 108*m) + 78*a^2*b^10*x^(10 + 120*m) + 13*a*b^11*x^(11 + 132*m) + b^
12*x^(12 + 144*m)))/(13 + 156*m)

________________________________________________________________________________________

Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(286\) vs. \(2(25)=50\).
time = 0.36, size = 287, normalized size = 10.63

method	result	size
risch	\(\frac {b^{12} x^{13} x^{156 m}}{13+156 m}+\frac {a \,b^{11} x^{12} x^{144 m}}{1+12 m}+\frac {6 a^{2} b^{10} x^{11} x^{132 m}}{1+12 m}+\frac {22 a^{3} b^{9} x^{10} x^{120 m}}{1+12 m}+\frac {55 a^{4} b^{8} x^{9} x^{108 m}}{1+12 m}+\frac {99 a^{5} b^{7} x^{8} x^{96 m}}{1+12 m}+\frac {132 a^{6} b^{6} x^{7} x^{84 m}}{1+12 m}+\frac {132 b^{5} a^{7} x^{6} x^{72 m}}{1+12 m}+\frac {99 a^{8} b^{4} x^{5} x^{60 m}}{1+12 m}+\frac {55 b^{3} a^{9} x^{4} x^{48 m}}{1+12 m}+\frac {22 a^{10} b^{2} x^{3} x^{36 m}}{1+12 m}+\frac {6 b \,a^{11} x^{2} x^{24 m}}{1+12 m}+\frac {a^{12} x \,x^{12 m}}{1+12 m}\)	\(287\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a*x^m+b*x^(1+13*m))^12,x,method=_RETURNVERBOSE)

[Out]

1/13*b^12*x^13/(1+12*m)*(x^m)^156+a*b^11*x^12/(1+12*m)*(x^m)^144+6*a^2*b^10*x^11/(1+12*m)*(x^m)^132+22*a^3*b^9
*x^10/(1+12*m)*(x^m)^120+55*a^4*b^8*x^9/(1+12*m)*(x^m)^108+99*a^5*b^7*x^8/(1+12*m)*(x^m)^96+132*a^6*b^6*x^7/(1
+12*m)*(x^m)^84+132*b^5*a^7*x^6/(1+12*m)*(x^m)^72+99*a^8*b^4*x^5/(1+12*m)*(x^m)^60+55*b^3*a^9*x^4/(1+12*m)*(x^
m)^48+22*a^10*b^2*x^3/(1+12*m)*(x^m)^36+6*b*a^11*x^2/(1+12*m)*(x^m)^24+a^12/(1+12*m)*x*(x^m)^12

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 275 vs. \(2 (25) = 50\).
time = 0.29, size = 275, normalized size = 10.19 \begin {gather*} \frac {b^{12} x^{156 \, m + 13}}{13 \, {\left (12 \, m + 1\right )}} + \frac {a b^{11} x^{144 \, m + 12}}{12 \, m + 1} + \frac {6 \, a^{2} b^{10} x^{132 \, m + 11}}{12 \, m + 1} + \frac {22 \, a^{3} b^{9} x^{120 \, m + 10}}{12 \, m + 1} + \frac {55 \, a^{4} b^{8} x^{108 \, m + 9}}{12 \, m + 1} + \frac {99 \, a^{5} b^{7} x^{96 \, m + 8}}{12 \, m + 1} + \frac {132 \, a^{6} b^{6} x^{84 \, m + 7}}{12 \, m + 1} + \frac {132 \, a^{7} b^{5} x^{72 \, m + 6}}{12 \, m + 1} + \frac {99 \, a^{8} b^{4} x^{60 \, m + 5}}{12 \, m + 1} + \frac {55 \, a^{9} b^{3} x^{48 \, m + 4}}{12 \, m + 1} + \frac {22 \, a^{10} b^{2} x^{36 \, m + 3}}{12 \, m + 1} + \frac {6 \, a^{11} b x^{24 \, m + 2}}{12 \, m + 1} + \frac {a^{12} x^{12 \, m + 1}}{12 \, m + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a*x^m+b*x^(1+13*m))^12,x, algorithm="maxima")

[Out]

1/13*b^12*x^(156*m + 13)/(12*m + 1) + a*b^11*x^(144*m + 12)/(12*m + 1) + 6*a^2*b^10*x^(132*m + 11)/(12*m + 1)
+ 22*a^3*b^9*x^(120*m + 10)/(12*m + 1) + 55*a^4*b^8*x^(108*m + 9)/(12*m + 1) + 99*a^5*b^7*x^(96*m + 8)/(12*m +
1) + 132*a^6*b^6*x^(84*m + 7)/(12*m + 1) + 132*a^7*b^5*x^(72*m + 6)/(12*m + 1) + 99*a^8*b^4*x^(60*m + 5)/(12*
m + 1) + 55*a^9*b^3*x^(48*m + 4)/(12*m + 1) + 22*a^10*b^2*x^(36*m + 3)/(12*m + 1) + 6*a^11*b*x^(24*m + 2)/(12*
m + 1) + a^12*x^(12*m + 1)/(12*m + 1)

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 205 vs. \(2 (25) = 50\).
time = 1.92, size = 205, normalized size = 7.59 \begin {gather*} \frac {b^{12} x^{13} x^{156 \, m} + 13 \, a b^{11} x^{12} x^{144 \, m} + 78 \, a^{2} b^{10} x^{11} x^{132 \, m} + 286 \, a^{3} b^{9} x^{10} x^{120 \, m} + 715 \, a^{4} b^{8} x^{9} x^{108 \, m} + 1287 \, a^{5} b^{7} x^{8} x^{96 \, m} + 1716 \, a^{6} b^{6} x^{7} x^{84 \, m} + 1716 \, a^{7} b^{5} x^{6} x^{72 \, m} + 1287 \, a^{8} b^{4} x^{5} x^{60 \, m} + 715 \, a^{9} b^{3} x^{4} x^{48 \, m} + 286 \, a^{10} b^{2} x^{3} x^{36 \, m} + 78 \, a^{11} b x^{2} x^{24 \, m} + 13 \, a^{12} x x^{12 \, m}}{13 \, {\left (12 \, m + 1\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a*x^m+b*x^(1+13*m))^12,x, algorithm="fricas")

[Out]

1/13*(b^12*x^13*x^(156*m) + 13*a*b^11*x^12*x^(144*m) + 78*a^2*b^10*x^11*x^(132*m) + 286*a^3*b^9*x^10*x^(120*m)
+ 715*a^4*b^8*x^9*x^(108*m) + 1287*a^5*b^7*x^8*x^(96*m) + 1716*a^6*b^6*x^7*x^(84*m) + 1716*a^7*b^5*x^6*x^(72*
m) + 1287*a^8*b^4*x^5*x^(60*m) + 715*a^9*b^3*x^4*x^(48*m) + 286*a^10*b^2*x^3*x^(36*m) + 78*a^11*b*x^2*x^(24*m)
+ 13*a^12*x*x^(12*m))/(12*m + 1)

________________________________________________________________________________________

Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a*x**m+b*x**(1+13*m))**12,x)

[Out]

Exception raised: SystemError >> excessive stack use: stack is 3061 deep

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 205 vs. \(2 (25) = 50\).
time = 0.48, size = 205, normalized size = 7.59 \begin {gather*} \frac {b^{12} x^{13} x^{156 \, m} + 13 \, a b^{11} x^{12} x^{144 \, m} + 78 \, a^{2} b^{10} x^{11} x^{132 \, m} + 286 \, a^{3} b^{9} x^{10} x^{120 \, m} + 715 \, a^{4} b^{8} x^{9} x^{108 \, m} + 1287 \, a^{5} b^{7} x^{8} x^{96 \, m} + 1716 \, a^{6} b^{6} x^{7} x^{84 \, m} + 1716 \, a^{7} b^{5} x^{6} x^{72 \, m} + 1287 \, a^{8} b^{4} x^{5} x^{60 \, m} + 715 \, a^{9} b^{3} x^{4} x^{48 \, m} + 286 \, a^{10} b^{2} x^{3} x^{36 \, m} + 78 \, a^{11} b x^{2} x^{24 \, m} + 13 \, a^{12} x x^{12 \, m}}{13 \, {\left (12 \, m + 1\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a*x^m+b*x^(1+13*m))^12,x, algorithm="giac")

[Out]

1/13*(b^12*x^13*x^(156*m) + 13*a*b^11*x^12*x^(144*m) + 78*a^2*b^10*x^11*x^(132*m) + 286*a^3*b^9*x^10*x^(120*m)
+ 715*a^4*b^8*x^9*x^(108*m) + 1287*a^5*b^7*x^8*x^(96*m) + 1716*a^6*b^6*x^7*x^(84*m) + 1716*a^7*b^5*x^6*x^(72*
m) + 1287*a^8*b^4*x^5*x^(60*m) + 715*a^9*b^3*x^4*x^(48*m) + 286*a^10*b^2*x^3*x^(36*m) + 78*a^11*b*x^2*x^(24*m)
+ 13*a^12*x*x^(12*m))/(12*m + 1)

________________________________________________________________________________________

Mupad [B]
time = 5.95, size = 285, normalized size = 10.56 \begin {gather*} \frac {b^{12}\,x^{156\,m}\,x^{13}}{156\,m+13}+\frac {a^{12}\,x\,x^{12\,m}}{12\,m+1}+\frac {6\,a^{11}\,b\,x^{24\,m}\,x^2}{12\,m+1}+\frac {a\,b^{11}\,x^{144\,m}\,x^{12}}{12\,m+1}+\frac {22\,a^{10}\,b^2\,x^{36\,m}\,x^3}{12\,m+1}+\frac {55\,a^9\,b^3\,x^{48\,m}\,x^4}{12\,m+1}+\frac {99\,a^8\,b^4\,x^{60\,m}\,x^5}{12\,m+1}+\frac {132\,a^7\,b^5\,x^{72\,m}\,x^6}{12\,m+1}+\frac {132\,a^6\,b^6\,x^{84\,m}\,x^7}{12\,m+1}+\frac {99\,a^5\,b^7\,x^{96\,m}\,x^8}{12\,m+1}+\frac {55\,a^4\,b^8\,x^{108\,m}\,x^9}{12\,m+1}+\frac {22\,a^3\,b^9\,x^{120\,m}\,x^{10}}{12\,m+1}+\frac {6\,a^2\,b^{10}\,x^{132\,m}\,x^{11}}{12\,m+1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a*x^m + b*x^(13*m + 1))^12,x)

[Out]

(b^12*x^(156*m)*x^13)/(156*m + 13) + (a^12*x*x^(12*m))/(12*m + 1) + (6*a^11*b*x^(24*m)*x^2)/(12*m + 1) + (a*b^
11*x^(144*m)*x^12)/(12*m + 1) + (22*a^10*b^2*x^(36*m)*x^3)/(12*m + 1) + (55*a^9*b^3*x^(48*m)*x^4)/(12*m + 1) +
(99*a^8*b^4*x^(60*m)*x^5)/(12*m + 1) + (132*a^7*b^5*x^(72*m)*x^6)/(12*m + 1) + (132*a^6*b^6*x^(84*m)*x^7)/(12
*m + 1) + (99*a^5*b^7*x^(96*m)*x^8)/(12*m + 1) + (55*a^4*b^8*x^(108*m)*x^9)/(12*m + 1) + (22*a^3*b^9*x^(120*m)
*x^10)/(12*m + 1) + (6*a^2*b^10*x^(132*m)*x^11)/(12*m + 1)

________________________________________________________________________________________